Text this: Learning Number Patterns in Middle School: A Lesson Study Activity Based on Didactical Design Research