Qual è la differenza tra una macchina virtuale e un contenitore Docker?