Analysis, Modeling, and Simulation of Human Operator’s Mental Activities