The timber truss dome of the Bellini Theatre in Catania: its history and construction