Geometry prediction of EDM-drilled holes and tool electrode shapes of micro-EDM process using simulation