Text this: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics