Hardness Amplification in Proof Complexity