A computational framework for selecting the optimal combination of seismic retrofit and insurance coverage. (20th October 2021)