Steel balls for ball bearings are hardened to