Resolution Refutations and Propositional Proofs with Height-Restrictions