Calculating Federal Tax Revenue Isn't As Simple As Sen. Lankford Says