Public workers may receive reduced Social Security benefits. How Congress may change that