矿井水的防治方法有哪些?