Applied Proof Theory: Proof Interpretations and their