Experimental investigations into electrochemical discharge machining (ECDM) of non-conductive ceramic materials