The future of air traffic control :human operators and automation