Design and Evaluation of a Visual Interface for Separation Support in Time-Based Approach Air Traffic Control