Computational experiment comprehension using provenance summarization