CP-WSP: A Declarative CP-SAT Framework for Configurable Multi-Constraint Workforce Scheduling