Federal Medicaid spending associated with groups potentially subject to work requirements (in 2030)