Dynamic rebalancing optimization for bike-sharing systems: A modeling framework and empirical comparison | Synapse