Validation of design tools for the prediction of mechanical behaviour of masonry arches strenghtened with inorganic matrix-based composite systems