Experimental and theoretical analysis of masonry vaults with FRP reinforcements