Live Migration of Virtualized Edge Networks: Analytical Modeling and Performance Evaluation