Walkability Optimization: Formulations, Algorithms, and a Case Study of Toronto