Basque separatist group ETA announces formal end to fight for independence