煤矿防治水工作应当做到