NBK records net profit of USD 534.4 million for first half of 2011