Exploiting Variation in Coverage of Social Security: Synopsis of "Retirement Behavior of Federal Civil Service Workers"