Data center cooling using model-predictive control