Method of intervention for transforming and modernising old town centres: the case of the vaulted masonry pipeline laid underground along Via Garibaldi in Venice