Understanding Form 4972: Tax On Lump-Sum Distributions