Semi-Markov models for human-resource modelling