煤矿防治水工作应采取什么综合防治措施