Short course in mine seismology. Practice review of the mine’s seismic monitoring function.