The Future of Air Traffic Control : Human Operators and Automation