what is cutting tools