How random is random on your music player?

http://www.bbc.com/news/technology-31302312