In with the old: Exploring Hanoi’s old quarter