《煤矿防治水规定》中防治水工作应当采取什么综合治理措施?