On the Design of an Insurance Mechanism for Reliability Differentiation in Electricity Markets.