Direct Digital Control for Building HVAC Systems