what is the population of the city in brazil served by gaudêncio machado ramos airport ?
78,984