Quantas pessoas tiraram nota mil no Enem 2018?