A Survey on Temporal Knowledge Graph: Representation Learning and Applications