Quantitative prediction of mental workload with the ACT-R cognitive architecture · Study