Teachers’ beliefs and the teaching of proof