Airborne four-dimensional flight management in a time-based air traffic control environment