Formalizing Technology Descriptions for Selection During Conceptual Design