A petroleum life cycle model for the United States with endogenous technology, exploration, recovery, and demand