Electron transfer dissociation mass spectrometry in proteomics