The Constraint Satisfaction Problem: Complexity and Approximability