CBO: Trump administration's proposed changes to federal retirement could save $109B