Knife sharpening, are polished edges sharper?