Distributed Aggregation Control of Smart Buildings for Frequency Regulation Services