Seán Mackin had been a member of the Irish National Liberation Army, an Irish republican socialist paramilitary group formed during what year?