Using mathematical modeling to define kinetic properties of HIV-specific CD8+ T-cell responses