Groundwater and mining