Dubai World to receive $9.5 billion in government aid