发送短信 : Representations in problem solving: a case study with optimization problems