Knowledge sources for an intelligent algebra tutor