Signavio PI (2): from event log to process discovery