Enriching the Student Model in an Intelligent Tutoring System