Produção industrial cai 0,9% em maio, diz IBGE