Muiredach mac Murchada, king of Leinster