U.S. economy grew at a brisk 4.2% annual rate in April-June