Rot-Pro: Modeling Transitivity by Projection in Knowledge Graph Embedding