Frozen Gaussian Approximation for Three-dimensional Seismic Tomography