MariaDB: extra features that make it a better branch of MySQL