When it comes to each VDI user, what's better: virtual machine pooling or dedicated VMs?