A stochastic programming model for scheduling maintenance personnel