docker和虚拟机之间有何区别