Mechanics of Rock Cutting