TowardsaTheoreticalFrameworkof Out-of-DistributionGeneralization