AnAxiomaticTheoryofProvably-Fair Welfare-CentricMachineLearning