Analyses of the nonparametric mixed proportional hazards model by A.J. Lenstra