Micro-machining through electrochemical discharge processes: a review