A computational approach to situation awareness and mental models in aviation