Study on the Optimal Allocation of Water Resources Systems and the Comprehensive Utilization of Water Resources in Arid-Semiarid Multiple Mining Areas