Nash equilibria in Ballmer's binary-search interview game