Integrating Ceiling Infrared Heaters into Smart Building Control Systems