Металлообработка, электроэрозионная обработка металла