Red Hat placed in 2023 Gartner® Magic Quadrant™ for DevOps platforms