Ruaidrí mac Fáeláin, king of Leinster