An algorithm for the extraction of isotopic distributions from proteomic mass spectra