Extended mine seismology courses for rock engineering personnel. Review of seismic hazard mitigation procedures as part of the 2021 GRB.