Net benefit functions, discounting and the optimal time horizon for extracting non-replenishable resources