Modeling energy efficiency insurances and energy performance contracts for a quantitative comparison of risk mitigation potential