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