Analysis and consolidation of masonry vaults in the restoration of historical constructions