A probabilistic analysis of randomly generated binary constraint satisfaction problems