New Jersey’s December gaming revenue up 13%