DISCOVER: an intelligent tutoring system for teaching students with learning difficulties to solve word problems