Mental Workload in the Explanation of Automation Effects on ATC Performance