How IBM started grading its developers' productivity