US S&P Global Manufacturing PMI holds at 52 in June, Services PMI declines to 53.1