煤矿水害防治的五项综合治理措施是：（）、（）、（）、（）、（）。