Ibovespa fecha em alta puxado por Vale e Petrobras; dólar cai levemente para R$ 5,23