Gamification of Lifelong Learning: A Digital Badge Discussion & Tutorial. Proceedings