The Future of Air Traffic Control: Human Operators and Automation