MariaDB positioned as Leader on its Gartner Magic Quadrant debut