Automatic Proteoform Detection In Top-Down Mass Spectrometry