At least 72 gold miners were killed, last October, by airstrikes on a gold mine on the Sudan-Egypt border. A rights organisation accused the Egyptian air force of carrying out the attack