Applied Proof Theory Proof Interpretations & their Use in Mathematics Kohlenbach-Springer (2008)