U.S. second-quarter productivity revised sharply higher; fastest rise since 1971