Towards Semi-Markov Model-based Dependability Evaluation of VM-based Multi-Domain Service Function Chain