Mining team compositions for collaborative work in business processes