Fowler DMO and time migration for transversely isotropic media with explicit operators