MariaDB acquires rival Clustrix to boost its technology