Export MySQL port to host in Vagrant