综合勘探技术在矿井防治水中的应用