Experimental analysis and modeling of masonry vaults strengthened by FRP