An energy-efficient thermostat that learns your schedule and preferences.