Performance of cutting tools in machining Cu/W alloys for application in EDM electrodes