Modelling of mine flooding and consequences in the mine hydrogeological environment: flooding of the Koenigstein mine, Germany