Turkish GSM operators post $4.2B net sales in first half