What is a MySQL database?