Gravar-mail: Automated workflow composition in mass spectrometry-based proteomics