KDD 2023 Tutorial: Knowledge Graph Reasoning and Its Applications