high speed tool steel aisi m42 din1 3247