Mathematical modelling of HIV-1 dynamics in vivo