Qual é o total de extensão dos limites do Brasil ?