Here Is Not There: Measuring Entailment-Based Trajectory Similarity for Location-Privacy Protection and Beyond