Introducing a virtualization technology for the FTU plasma control system