Theoretical analysis of high-speed rail seismic imaging