Spaced repetition and knowledge modeling