Turkey: Industrial production rises slightly in July