Northern Ireland police arrest Gerry Adams over 1972 murder