Market-Based Coordination of Thermostatically Controlled Loads—Part I: A Mechanism Design Formulation | IEEE Journals & Magazine | IEEE Xplore