The largest city in Brazil, Sao Paulo, has a population of about 11 million. Based on the rank-size rule, what is the population of the second-largest city, Rio de Janeiro, most likely to be?