Produção industrial do Chile cai 7,2% em maio, pior resultado desde 2022