The polishing of diamond