Designing cycle networks to maximize health, environmental, and travel time impacts: An optimization-based approach. Issue 5 (3rd May 2020)