Application of stable environmental isotopes in mine hydrogeology taking Polish coal basins as an example