Verification of failure mechanisms and design philosophy for a bolt-anchored and fibre-reinforced shotcrete lining. (October 2020)