The use of formative quizzes for deep learning