Docker Machine vs Vagrant | What are the differences?