How big was Argentina’s FIFA World Cup win, really?