Introduction to virtual machines