Analyzing Distributed Systems using Tracing and Process Mining