Muirchertach Mac Lochlainn, High King of Ireland