Gravar-mail: Statistical Inference in Hidden Markov Models Using k-Segment Constraints