An extrados-only restoration technique for raising and reinforcing of brick folio vaults