Stochastic models repairable systems door Smeitink