Esperienze costruttive delle cupole napoletane nel tardo Settecento. Mario Gioffredo e il cantiere dello Spirito Santo