An interactive model-based environment for eye-movement protocol analysis and visualization