There Are More Municipal Workers Than Ever. But Is Headcount Up at All NYC Agencies?