An Introduction to Mining Seismology (International Geophysics)