The influence of automation support on performance, workload, and situation awareness of Air Traffic Controllers