Should New Jersey's public workers pay more for their pensions and health care benefits?