PeakBot: machine-learning-based chromatographic peak picking