Stock-dependent Extraction Costs and the Technological Efficiency of Resource Depletion