An SMA cable-based negative stiffness seismic isolator: Development, experimental characterization, and numerical modeling. (August 2022)