怎么用lingo解整数非线性规划