The industrialization of São Paulo, 1880-1945