How do i compute the taxable amount of gross distribution from a government pension, partly funded by employee contributions?