Does my military service count for government retirement?