Arithmetic, Proof Theory, and Computational Complexity