A model for gamifying programming education: University-level programming course quantified | IEEE Conference Publication | IEEE Xplore