Applications of Artificial Intelligence for Chemical Inference. XII. Automatic Rule Formation in Mass Spectrometry by Means of the Meta-DENDRAL Program