View of Comparison of the Effectiveness of the Think Pair Share (TPS) Model and the Two Stay–Two Stray (TS-TS) Model on Senior High School Students’ Mathematical Reasoning Ability and Self-Efficacy