รายได้ที่ไม่ได้เกิดจากการดำเนินตามปกติ, รวมทั้งหมด ของVALE INDONESIA TBK