Почему рудник, а не шахта?