Gamification helps reduce workplace sexual harassment