A Survey on Temporal Knowledge Graph Completion: Taxonomy, Progress, and Prospects