Murchad mac Brain Muit, king of Leinster