Aggregation by Provenance Types: A Technique for Summarising Provenance Graphs