Market-Based Coordination of Thermostatically Controlled Loads—Part I: A Mechanism Design Formulation | Synapse