Applied proof theory: proof interpretations and their use in mathematics.