Gravar-mail: Proteome coverage prediction with infinite Markov models