Chance Constrained Optimization in a Home Energy Management System | Synapse