Within-host HIV models with periodic antiretroviral therapy