Optimal HVAC Control for Demand Response via Chance-Constrained Two-Stage Stochastic Program | Synapse