Task-Action Grammars: A Model of the Mental Representation of Task Languages