A Knowledge Formalization Approach for Manufacturing Cost Estimation