Using Digital Tools for Gamification in Schools | IEEE Conference Publication | IEEE Xplore