A stochastic penetration rate model for rotary drilling in surface mines