Comparative probability-based seismic safety assessment of base-isolated buildings: A case study | Synapse