The Teichmüller theory of harmonic maps