Study on modeling of wire EDM process