Reestimating Brazil’s GDP growth from 1900 to 1980