DELEK US HOLDINGS INC