DevOps, Automation, Productivity, and Mental Health