Understanding and describing mathematical knowledge for teaching: knowledge about proof for engaging students in the activity of proving