Statistical models for protein validation using tandem mass spectral data and protein amino acid sequence databases.