An environment-friendly and sustainable machining method: near-dry EDM