Dessoly 2004 Modeling and Verification of Cutting Tool Temperatures in Rotary Tool Turning of Hardened Steel MSc Thesis