Using flexible HVAC power consumption of commercial buildings for regulation service to the grid Technical Report