Modeling and Optimization of Space Use and Transportation for a 3D Walkable City