煤矿开采与地下水防治关系的研究