New Jersey posts December gaming revenue rise to $522.2m