The Gamification of Academia. - Sean Flaherty; Gregg Gordon (Commun. ACM, 2023)