Using Karush-Kuhn-Tucker multipliers to evaluate the effect of antagonist muscle activity