KITAB: Evaluating LLMs on Constraint Satisfaction for Information Retrieval