What conflict prompted Libya to end its nuclear weapons program