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