Methods and Techniques for Preventing and Mitigating Water Hazards in Mines