Renta petrolera marca récord en 2012: US$ 4.000 millones