Produção de petróleo aumenta 10,2% no Brasil no mês de maio