Caching for mobile users in edge networks