Gravar-mail: Partially hidden Markov model for time-varying principal stratification in HIV prevention trials