Discovering congestion dynamics models in clinical pathways using background knowledge | Synapse