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