公交车调度问题数学模型