Analytic theory of automorphic forms