Obama may trade one flawed Social Security formula for another