Text this: Redesigning geometry assessments to promote advanced geometric thinking: A case study on formal deduction and rigor