Categorizing Students' Difficulties With Mathematical Proofs: Developing A Model Of The Structure Of Proof Construction