when did aladdin open on broadway