Scheduling, revenue sharing, and user behavior for aggregated demand response