what is the population of managua, nicaragua?