Automorphic functions, differential equations, and model theory