On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems