Artificial Intelligence for Evaluating the Mental Workload of Air Traffic Controllers