Definable combinatorics in descriptive set theory, computability theory, and beyond