Locating the phase transition in binary constraint satisfaction problems