Temporal Knowledge Graph Reasoning with Historical Contrastive Learning