Structured Derivations: Teaching Mathematical Reasoning in High School