Distributed Demand Management in Smart Grid with a Congestion Game | Synapse