Visualizing Eye Movements in Formal Cognitive Models