Backup of virtual machines