Muiredach mac Brain, half-king of Leinster