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