The universal commensurability Busemann horofunction compactified Teichmüller space