‘Jukebox musical.’ For musical theatre purists, it’s a term of derision. For producers, it’s the promise of marketing the music of a