virtual machine is a model