Thinking Inside the Box: How to Tailor Gamified Educational Systems Based on Learning Activities Types | Synapse