A Life in Tech: Interview with MariaDB CEO, Michael Howard