A quantitative comparison study of a contextual and cognitive model of Air Traffic Controller workload