Infrared temperature measurement on diamond-coated tools during machining