Space in Weak Propositional Proof Systems