A Dictionary of Musical Themes: The Music of More Than 10,000 Themes