Semi-Markov models for performance evaluation of failure-prone IP multimedia subsystem core networks