Understanding and Describing Mathematical Knowledge for Teaching: Knowledge about Proof for Engaging Students in the Activity of Proving