Performance and energy modeling for live migration of virtual machines | Synapse