Open source database player MariaDB appoints Michael Howard as CEO