The Future of Air Traffic Control: Human Operators and Autom