Theoretical prediction of wear of disc cutters in tunnel boring machine and its application