An SAS team which shot dead four IRA men in an ambush in Co Tyrone used lethal force which was not justified, a High Court judge has ruled.