Should a lump-sum payment replace social security's delayed retirement credit?