Title: Resource extraction when a future substitute has an uncertain cost