Thermostats for the Smart Grid: Models, Benchmarks, and Insights | Synapse