Statistics for SPIDER: Reconstructive Protein Homology Search with De Novo Sequencing Tags