DEPICT: A High-Level Formal Language For Modeling Constraint Satisfaction Problems