EDM die sinking machines