NeurIPS RL Competitions: Procgen benchmark