Statistics of A computationally efficient algorithm for the provision of a day-ahead modulation service by a load aggregator