To balance comfort and energy savings, what is the U.S. Department of Energy's recommended thermostat setting for summer while you are at home and awake?