Gravar-mail: Joint modeling of time-varying HIV exposure and infection for estimation of per-act efficacy in HIV prevention trials