Efficient Trajectory Similarity Computation with Contrastive Learning