Texas' Service Sector Hits 16-Month High in Growth: Revenue Index Surges by Nine Points in July