علاء الدين (مسرحية موسيقية)