Damage in Catania on the occasion of the 1693 earthquakes