A mixed integer linear programming model for optimal planning of bicycle sharing systems: A case study in Beijing. (May 2019)