Development of a predictive, risk-based model to assess the effects of maintenance decisions on vertical mine shaft structures | Synapse