Charlie and the Chocolate Factory (comédie musicale)