Problem-Solving Knowledge Mining from Users’ Actions in an Intelligent Tutoring System