Sources of water in mines