minor changes: VM migration schemes, equation