Teaching Mathematics in the Digital Age with Structured Derivations