A Feature-Based Approach to Function Modeling and Reasoning for Thermal-Fluid Systems Engineering