An integrated model predictive control approach for optimal HVAC and energy storage operation in large-scale buildings