الدخل غير التشغيلي، الإجمالي لـ‎VALE INDONESIA TBK‎.