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