Cats the musical played by literal cats