运筹学 一般线性规划问题的数学模型