Seeking shade: an agent-based model to study shadow-focused pedestrian movement: Case study in Berlin | Synapse