Produção industrial brasileira recua 0,9% em maio, revela IBGE