Text this: Comparative database search engine analysis on massive tandem mass spectra of pork-based food products for halal proteomics