Digital History in Portugal: a survey