What has twenty years of RoboCup taught us?