The ALARM Monitoring System: A Case Study with two Probabilistic Inference Techniques for Belief Networks