Text this: Differential roof water hazards and comprehensive utilization of mine water in the Dongsheng coalfield