Indonesia merger for Ooredoo Group and CK Hutchison