Longitudinal proviral sequencing provides a window into selection pressures exerted on infected cells and provides an upper bound estimate of proviral half-lives which are influenced by expression and splicing potential