Hydrogeologia górnicza