Modelling HIV-1 control and remission