Vertical integration and vertical divestiture in the U.S. oil industry