U.S. oil industry becomes refiner to world as exports boom