A Formal Representation Of Mechanical Functions To Support Physics-Based Computational Reasoning In Early Mechanical Design