Estimating an operator’s cognitive state in real time: A user modeling approach