Technology Development and Engineering Practice for Protection and Utilization of Water Resources in Coal Mining in Western China