An introduction to mining seismology