Certifying Some Distributional Fairness with Subpopulation Decomposition