Strategies for Mitigating Climate Change Through Energy Efficiency: the RFF Haiku Electricity Market Model