The gamification of education: A case study in using positive psychology and game design to increase student engagement