A branch-and-bound algorithm for solving the static rebalancing problem in bicycle-sharing systems. (May 2016)