mysq docker file