Quantos brasileiros completaram o ensino médio?