Dúnlaing mac Muiredaig, king of Leinster