On the feasibility of distributed process mining in healthcare