Modelling, analysis and safety verifications of existing masonry buildings : seismic assessment and design of strengthening interventions