U.S. third-quarter GDP growth revised slightly up