The effects of player type on performance: A gamification case study. (February 2019)