Using Semantically Annotated Models for Supporting Business Process Benchmarking · Study