Residential Demand Response of Thermostatically Controlled Loads Using Batch Reinforcement Learning | Synapse