Air conditioning is typically a hotel's single largest energy expense. Here are the automation strategies that reduce it without hurting guest comfort.