What was the population of Brazil in 2013?