Auto-Scaling in Data Stream Processing Applications: A Model-Based Reinforcement Learning Approach