机床任务分配问题 数学建模