Una grande caverna per l'estrazione di pietra ornamentale: il caso della Cava Madre del Duomo di Milano a Candoglia (VCO)