MoDEMS: Optimizing Edge Computing Migrations for User Mobility