U.S. breweries top 5,300 as craft beer makers ride double-digit gains