US formally removes Sudan from terror blacklist