A non-parametric analytic framework for within-host viral phylogenies and a test for HIV-1 founder multiplicity