Semantic and Qualitative Physics-Based Formal Reasoning for Functional Decomposition in Mechanical Design