Comparison between topographic and photogrammetric techniques for deformation monitoring of the dome of the Massimo Theatre in Palermo