Influence of electrical discharge machining on sliding friction and wear of WC–Ni cemented carbide