MariaDB innovation: vector index performance