Their words are music: The great theatre lyricists and their lyrics