Should N.J. public workers pay more into their pensions?