煤矿防治水应当做到