Location-dependent services for mobile users