Resource Depletion and Technical Change: Effects on U.S. Crude Oil Finding Costs from 1977 to 1994