Optimal Exploitation of a Mineral Resource under Stochastic Market Prices