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