Probabilistic Modelling of Liquid Chromatography Time-of-Flight Mass Spectrometry