Red Hat named a Leader in 2025 Gartner® Magic Quadrant™ for Cloud-Native Application Platforms