Vernacular and (post-)colonial planning interactions: the crisscross of urban traditions in three contemporary Senegalese cities