Turkish GSM operators post $4.2B net sales in H1