Title: The performance of tungsten carbide tools in intermittent cutting