Exploiting model-based reasoning in educational systems: illuminating the learner modeling problem