Control-Flow Business Process Summarization via Activity Contraction