Добыча полезных ископаемых, Шахты