A Knowledge Discovery Framework for Learning Task Models from User Interactions in Intelligent Tutoring Systems