Analysis of Business Process Batching Using Causal Event Models