Why Prove it Again?: Alternative Proofs in Mathematical Practice