Gamification in instructional design