Automated workflow composition in mass spectrometry-based proteomics