Energy arbitrage with thermostatically controlled loads | Synapse