The cut polytope and the Boolean quadric polytope