Zaslat SMS: The Shapley value for a fair division of group discounts for coordinating cooling loads