Text this: An Efficient Trajectory Negotiation and Verification Method Based on Spatiotemporal Pattern Mining