Evaluation of workload in a group of air traffic controllers