Comparing spaced repetition algorithms for legal digital flashcards