karush kuhn tucher conditions duality