People who move to more walkable cities do, in fact, walk significantly more