A smart predict-then-optimize framework for vehicle rebalancing problem | Synapse