IRS proposes expanding highly taxed exclusions for GILTI tested income