CSPLib problem models in Numberjack