A study on the mirror surface machining by using a micro-energy EDM and the electrophoretic deposition polishing