A Taxonomy of Game Elements for Gamification in Educational Contexts: Proposal and Evaluation | IEEE Conference Publication | IEEE Xplore