lingo模型及求解