Brian Bóruma, high-king of Ireland