A mixed-integer distributed approach to prosumers aggregation for providing balancing services