Space-time demand cube for spatial-temporal coverage optimization model of shared bicycle system: A study using big bike GPS data. (October 2020)