Automation, supervisory control and workload in flight management