Gravar-mail: Mining proteomic data to expose protein modifications in Methanosarcina mazei strain Gö1