Teichmüller theory