Cloud-based demand response for smart grid: Architecture and distributed algorithms | Synapse