รายได้ที่ไม่ได้เกิดจากการดำเนินตามปกติ, รวมทั้งหมด ของDelek US Holdings, Inc.