Charley & the Chocolate Factory, a musical