MariaDB announces acquisition of distributed database Clustrix