Semantic trajectories modeling and analysis