Selection and functions of wire EDM machine tools