Bike Share System Modeling: Travel Patterns, Environmental Benefits, System Expansion, and Impacts of System Types