Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation