A Survey on Graph Counterfactual Explanations: Definitions, Methods, Evaluation, and Research Challenges