what is the population in managua?