Radiohead surrendered to Spotify—but may have won the war