A Parametric Study of Rock Properties and Mechanical Cutting Conditions for Deriving an Optimum Design Model of a TBM Cutterhead Equipped With Disc Cutters)