SPIDER: Software for Protein Identification from Sequence Tags with De Novo Sequencing Error