The pseudo-Boolean polytope and polynomial-size extended formulations for binary polynomial optimization