an introduction to mining seismology