Model Formulation as a Problem-solving Task: Computer-assisted Engineering Modeling