Eisenstein series, the trace formula, and the modern theory of automorphic forms