Semi-empirical model of surface finish on electrical discharge machining