Distillate fuel oil was the most exported U.S. petroleum product in 2017