Estatísticas para Automatizando a extração de dados públicos: mineração de dados aplicada ao Diário Oficial do Estado do Pará