what is the population of ho chi minh city