Sky-scanner: an improved decision support system for air traffic management