Statistics for Protein De novo Sequencing