A study on tool wear of tungsten carbide cutters in edge trimming of CFRP