How to provide competitors in educational gamification: The roles of competitor level and autonomous choice · Study