Aggregation Of Thermostatically Controlled Loads For Fast Power System Services: From Theory To Practice