Applied Proof Theory: Proof Interpretations and their Use in Mathematics