Delek US Holdings, Inc. (DK): financials from its own SEC filings