The Complexity of Resource-Bounded Propositional Proofs