A method of constructing a mathematical model to study the reliability of mine transportation systems