Augmenting educational videos with interactive exercises and knowledge testing games | IEEE Conference Publication | IEEE Xplore