Design and application of mixed-integer nonlinear model predictive control in residential buildings | Synapse