A hospital staff scheduling problem under stochastic operation times. (2016)