Model predictive control approach to online computation of demand-side flexibility of commercial buildings HVAC systems for Supply Following | Synapse