La pirrera della Fossa della Garofala. Metodi di estrazione, produzione del materiale lapideo, controllo della qualità in cava e impieghi nel cantiere edile palermitano