煤矿防治水工作应当采取“（）、排、截”综合防治措施。