Gamification of machine translation improvement