Turkey: Manufacturing sector gauge higher in July