Who was the first great unifying king of the British Isles, who established codes of laws, organized for national defense, and established peace with Viking raiders around 870?