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