Ex Ante and Ex Post Designs for Electric Market Mitigation: Past and Present Experience and Lessons from California