FINITE-VALUED CONSTRAINT SATISFACTION PROBLEMS