New MariaDB Platform Launches in the Cloud