Mining Human Mobility Data to Discover Locations and Habits