Text this: Relationship between electrode size and machined surface in the EDM machining process