Exploiting Transitivity Constraints for Entity Matching in Knowledge Graphs