Co-design Practice in a Smart City Context Through the Gamification Approach: A Survey About the Most Suitable Applications