Three-Dimensional Passive-Source Anisotropic Reverse Time Migration for Imaging Lithospheric Discontinuities: The Method