What is gamification in the context of education? What are some examples if gamification? How does it work and what are the aspects needed to turn something into a game?