Text this: Development of a Mathematical Model of Operation Reliability of Mine Hoisting Plants