Developing Visualization Tools for the Design of Air Traffic Control