A model for gamifying programming education: University-level programming course quantified.