Моделирование электрохимического формообразования подвижным электродом-инструментом с учетом выхода по токустатья