Automating Gamification Personalization: To the User and Beyond