(IRS properly used annuity tables under I.R.C.§ 7520 to value stream of lottery payments remaining as of time of decedent's death).