Separation results for the size of constant-depth propositional proofs