UK to allocate $800 million for AI safety