Estatísticas para Petrolina, cadê a sua história? Um estudo sobre o ensino da história local na rede escolar do município