lingo求最优解