Optimising Event Pattern Matching using Business Process Models