Designing cycle networks to maximize health, environmental, and travel time impacts: An optimization-based approach · Study