Learning from Student Approaches to Algebraic Proofs