selected publications academic article ROCKBURST RISK CONTROL FOR LARGE DIAMETER TBM BORING IN HIGH GEOSTRESS REGION 2013