煤矿防治水综合措施包括哪些