Cognitive Models Underlying Students' Formulation of Simple Linear Equations