how long is the aladdin musical