Spaced repetition in learning theory