Text this: Characterization of ceramic materials after machining by EDM