Title: Implications of laboratory rock cutting for the design of a tunnel boring machine cutter head