Computational complexity of constraint satisfaction problems