Is an annuity Pretaxed and not taxed at distribution? Is military retirement an annuity and actually self funded by veteran (and partially matched maybe by govt)?