车位分配问题数学建模