الدخل غير التشغيلي، الإجمالي لـ‎MARKEL GROUP INC‎.