A Comparison of Auto-scaling Techniques for Distributed Stream Processing