Elastic wave propagation in anisotropic media: source theory, traveltime computations and migration