A Tractable Inference Algorithm for Diagnosing Multiple Diseases