Reducing the network overhead of user mobility-induced virtual machine migration in mobile edge computing: Reducing the network overhead of user mobility-induced virtual machine migration in mobile edge computing