Stochastic Mine Planning