By students, for students: a production-quality multimedia library and its application to game-based teaching