Is it true that Social Security is funded by the payroll tax levied on employers and employees and has nothing to do with the deficit?