Probabilistic Verification of Neural Networks Against Group Fairness