Today is the 25th anniversary of the launch of New Coke. Was it the biggest marketing failure ever?