IBGE: indústrias empregavam 7,6 milhões de pessoas em 2019