Qual era o PIB brasileiro em 2002?