Gartner® names Google a Leader in the 2025 Magic Quadrant™ for AI Application Development Platforms