《煤矿防治水规定细则》提出，煤矿防治水工作应当坚持( )的原则，采取综合治理措施。