ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning