Text this: Effects of electrical discharge machining (EDM) jet flushing setting on the machining of tool steel workpiece