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