The corpus of the Dicionário Histórico do Português do Brasil (DHPB)