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