Strategies for shotgun identification of integral membrane proteins by tandem mass spectrometry