A mixed integer linear programming model for optimal planning of bicycle sharing systems: A case study in Beijing · Study