Se ho capito bene il tag per l'entrata di una miniera é man_made=adit, quello per il pozzo verticale è man_made=mineshaft ma per la galleria mineraria c'è un tag specifico o devo usare highway=path/service e tunnel yes?