Willy Wonka and the Chocolate Factory, the Musical