Models of survival in HIV infection and their use in the quantification of treatment benefits