An Introduction to Educational Games Virtualization