Japan has just won the World Cup—of robot soccer