On the refactoring of activity labels in business process models