How Does a Roth 401K to Roth IRA work for Railroad Retirement?