Agent-Based Modelling and Simulation of Trajectory Based Operations under Very High Traffic Demand