How do I account for Colorado previously taxed PERA benefits for me and for my husband? in Retirement tax questions