Email (record): Proteome coverage prediction with infinite Markov models