DART: De-Anonymization of personal gazetteers through social trajectories