Virtual Machine Migration: Greedy Heuristics and Mathematical Models