区间型 线性规划数学模型 《运筹学》 不等式组 目标函数 邮政 现代化管理 最优解