A Methodology for Exploiting Smart Prosumers’ Flexibility in a Bottom-Up Aggregation Process