Space Efficiency of Propositional Knowledge Representation Formalisms