Do You Mind was written by a writer and composer of British pop music and musicals, and is best known for creating the book, music, and lyrics for what?