Should a Lump-Sum Payment Replace Social Security's Delayed Retirement Credit?