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