Developing Essential Understanding of Proof and Proving for Teaching Mathematics in Grades 9-12