Mining process model variants by