The dome of “Badia di Sant’Agata” in Catania: an example of self-supporting structure and seismic protection device