Text this: A method for time difference correction for real-time seismic-while-mining data