Influence of the pulse shape on the EDM performance of Si3N4-TiN ceramic composite