Developing visualizations to support spatial-temporal reasoning in ATC