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