How mathematicians assign points to student proofs