煤矿防治井下突水,涌水的安全措施