Using of decision-making Semi-Markov processes for modelling and simulating of operation and maintenance process for buses