Text this: Using Abductive Machine Learning for Online Vibration Monitoring of Turbo Molecular Pumps