Model-Driven Machine Learning for Predictive Cloud Auto-scaling