Generating News-Centric Crossword Puzzles As A Constraint Satisfaction and Optimization Problem