Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory