Automating IT Operations: Real-World Benefits of Machine Learning