Functional and Teleological Knowledge in the Multi-Modeling Approach for Reasoning about Physical Systems: a Case Study in Diagnosis