mysql docker file