Mining mobile trajectories