Choosing and using different video formats for different pedagogical settings