Mechanisms for Trajectory Options Allocation in Collaborative Air Traffic Flow Management