Vietnam's Hanoi, the city of 'tube houses'