Gravar-mail: Comparison of empirical and dynamic models for HIV viral load rebound after treatment interruption