Erregistroa posta elektronikoz bidali: Proteome coverage prediction with infinite Markov models