Gamification boosts knowledge enhancement for an online travel provider.