free book of an introduction to mining seismology