KrisEnergy, Cambodia sign deals for Gulf of Thailand oil development