A Survey of Deep Graph Clustering: Taxonomy, Challenge, and Application