Угольные шахты: история и современные технологии добычи