A Case Study of High School Students’ Mathematical Modeling Using Technological Tools: An Activity Theory Perspective | Synapse