Methods and Techniques for Preventing and Mitigating Water Hazards in Mines - Dong (Springer International Publishing, 2021)