Seismic tomography, frozen Gaussian approximation and deep learning