Горнодобывающая промышленность, метро Сокол