A Case Study on Gamifying DevOps Practices in Industry