The effect of electrodischarge machining on the fracture strength and surface microstructure of an Al2O3Cr3C2 composite