Bayes-Optimal Classifiers under Group Fairness