Docker image for running a MySQL server