A Partial Set Covering Model for Protein Mixture Identification Using Mass Spectrometry Data