The role of aesthetic judgment in mathematics : what makes a theorem beautiful ?