When military service is creditable toward benefits under the Railroad Retirement Act