HMI Capital Management, L.P. portfolio value