Pacer: A Progress Management System for Live Virtual Machine Migration in Cloud Computing