煤矿防治水采取的综合防治措施