Game-Theoretic Trajectory-Negotiation Mechanism for Merging Air Traffic Management