Role of Task and Technology in Provoking Teacher Change: A Case of Proofs and Proving in High School Algebra