根据《煤矿防治水细则》，矿井水害防治的措施包括（）。