On gamifying the transcription of digital video lectures