空车调配问题的区间线性规划模型