Toward Meta-cognitive Tutoring: A Model of Help Seeking with a Cognitive Tutor | Synapse