Interpreting Lecce Vaults with Analytical‑Geometrical Models