Survivor benefits under the Civil Service Retirement System, CSRS