UPDATE 1-Gulf Keystone Petroleum to lay off about 40% of workforce