Design of initial shotcrete lining for a mine shaft using two-dimensional finite and hybrid finite-discrete element methods